Solving Mean-Payoff Games Via Quasi Dominions

We propose a novel algorithm for the solution of mean-payoff games that merges together two seemingly unrelated concepts introduced in context parity games, small progress measures and quasi dominions. show integration notions can be highly beneficial significantly speeds up convergence to problem solution. Experiments resulting performs orders magnitude better than asymptotically-best currently known, without sacrificing on worst-case complexity.